$\forall$$M_{1}$, $M_{2}$:MsgA, $x$:Id. $M_{1}$ $\subseteq$ $M_{2}$ $\Rightarrow$ ($M_{2}$.ds($x$) $\subseteq$r $M_{1}$.ds($x$))